Deterministic finite automaton - PDFSEARCH.IO - Document Search Engine

Deterministic finite automaton
Results: 142

#	Item
121	Conjunctive Queries for EL with Role Composition Markus Krötzsch and Sebastian Rudolph Institute AIFB, Universität Karlsruhe, Germany {mak\|sru}@aifb.uni-karlsruhe.de Abstract. EL++ is a rather expressive description l Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Computer science Mathematics Conjunctive query Nondeterministic finite automaton Deterministic finite automaton Structure Algorithm Computational complexity theory Finite-state machine Automata theory Models of computation Theoretical computer science
122	Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:59:44 Applied mathematics Computer science Deterministic pushdown automaton Bisimulation Computability Context-free language Finite-state machine Automata theory Models of computation Theoretical computer science
123	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
124	Tree-Walking Automata Do Not Recognize All Regular Languages Mikolaj Bojanczyk Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2011-11-07 04:39:25 Graph theory Tree automaton Tree walking automaton Nondeterministic finite automaton Tree T-tree Symbol Binary tree Semi-deterministic Büchi automaton Automata theory Theoretical computer science Computer science
125	1 Pushdown Automata Hendrik Jan Hoogeboom and Joost Engelfriet Add to Reading List Source URL: www.liacs.nl Language: English - Date: 2004-05-10 11:22:35 Computer science Deterministic pushdown automaton Pushdown automaton LL parser Finite-state machine Context-free language Symbol Greibach normal form Nested word Automata theory Models of computation Theoretical computer science
126	Non-deterministic pushdown automata Regular languages are recognized by finite automata, context free languages are recognized by non-deterministic pushdown automata. Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Computer science Pushdown automaton Deterministic pushdown automaton Computability Context-free language Finite-state machine National Parliamentary Debate Association Stack Computation history Automata theory Models of computation Theoretical computer science
127	IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS, VOL. SMC-4, NO. 4, JULY 1974 Add to Reading List Source URL: www.dklevine.com Language: English - Date: 2010-12-10 19:21:29 Computer science Statistics Finite-state machine Deterministic automaton Markov chain Stochastic matrix Ω-automaton Automata theory Theoretical computer science Learning automata
128	Chapter 3 Pushdown Automata and Context Free Languages Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-10-01 15:20:36 Computer science Stack Finite-state machine Context-free language Pushdown automaton Deterministic pushdown automaton Automata theory Models of computation Theoretical computer science
129	CHAPTER ✦ Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-18 21:43:57 Finite-state machine Nondeterministic finite automaton Alphabet Powerset construction Deterministic automaton State transition table Deterministic finite automaton Deterministic pushdown automaton Automata theory Theory of computation Theoretical computer science
130	Free University of Bolzano–Formal Languages and Compilers. Lecture IV, [removed] – A.Artale Formal Languages and Compilers Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2012-10-18 11:15:06 Models of computation Computer science Applied mathematics Regular expression Nondeterministic finite automaton Deterministic finite automaton Regular language Finite-state machine Formal grammar Automata theory Formal languages Theoretical computer science